Uses of Class
edu.uky.ai.lp.logic.Disjunction

Packages that use Disjunction

Package	Description
edu.uky.ai.lp.logic	Contains classes for representing logical formulas in function-free predicate logic, unifiers, and knowledge bases.

Uses of Disjunction in edu.uky.ai.lp.logic

Methods in edu.uky.ai.lp.logic that return Disjunction

Modifier and Type	Method	Description
Disjunction	Disjunction.substitute(Unifier unifier)